Sequence detectors

ABSTRACT

Sequence detectors and detection methods are provided for detecting symbol values corresponding to a sequence of input samples obtained from an ISI channel. The sequence detector comprises a branch metric unit (BMU) and a path metric unit (PMU). The BMU, which comprises an initial set of pipeline stages, is adapted to calculate, for each input sample, branch metrics for respective possible transitions between states of a trellis. To calculate these branch metrics, the BMU selects hypothesized input values, each dependent on a possible symbol value for the input sample and L&gt;0 previous symbol values corresponding to possible transitions between states of the trellis. The BMU then calculates differences between the input sample and each hypothesized input value. The BMU compares these differences and selects, as the branch metric for each possible transition, an optimum difference in dependence on a predetermined state in a survivor path through the trellis.

BACKGROUND

The present invention relates generally to sequence detectors, and more particularly to apparatus and methods for detecting symbol values corresponding to a sequence of input samples obtained from a channel.

Sequence detectors are used for detecting a sequence of data symbols which has been communicated over a channel whose output is sampled at the receiver. For a given sample sequence obtained from a channel, the aim of such detectors is to determine the most likely symbol values for the symbol sequence supplied to the channel input. In data transmission, a sequence of input symbols drawn from a signal constellation is typically used to modulate some continuous waveform which is transmitted through a dispersive channel and sampled at the receiver. These samples would ideally equal the corresponding input symbols. However, they are corrupted by noise and interference with neighboring transmitted symbols. The latter phenomenon is commonly referred to as intersymbol interference (ISI). Sequence detectors such as Viterbi detectors (also called “Viterbi decoders”) use recursive methods to determine the most probable input symbol sequence. Such detectors for high-speed data transmission over ISI channels play a vital role in designing receivers in compliance with recently approved communications standards, e.g. the IEEE P802.3bj standard for 100 Gb/s Ethernet, and upcoming communications standards, e.g. the IEEE P802.3bs standard for 400 Gb/s Ethernet.

SUMMARY

According to at least one embodiment of the present invention there is provided a sequence detector for detecting symbol values corresponding to a sequence of input samples obtained from an ISI channel. The sequence detector comprises a branch metric unit (BMU) and a path metric unit (PMU). The BMU, which comprises an initial set of pipeline stages, is adapted to calculate, for each input sample, branch metrics for respective possible transitions between states of a trellis. To calculate these branch metrics, the BMU selects hypothesized input values, each dependent on a possible symbol value for the input sample and L>0 previous symbol values corresponding to possible transitions between states of the trellis. The BMU then calculates differences between the input sample and each hypothesized input value. The BMU compares these differences and selects, as the branch metric for each possible transition, an optimum difference in dependence on a predetermined state in a survivor path through the trellis. The PMU, which comprises a subsequent set of pipeline stages arranged to receive the branch metrics from the BMU, is adapted to calculate path metrics for respective survivor paths through the trellis by selecting said predetermined state in each survivor path in dependence on the branch metrics, and to feedback this predetermined state to the BMU.

At least one further embodiment of the invention provides a corresponding method for detecting symbol values corresponding to a sequence of input samples obtained from an ISI channel. At least one additional embodiment of the invention provides a computer program product comprising a computer readable storage medium embodying program instructions, executable by a processing device, to cause the processing device to perform the foregoing method.

Embodiments of the invention will be described in more detail below, by way of illustrative and non-limiting example, with reference to the accompanying drawings.

BRIEF DESCRIPTION OF THE SEVERAL VIEWS OF THE DRAWINGS

FIG. 1 is a schematic block diagram of a sequence detector according to one or more embodiments of the invention;

FIG. 2 illustrates a stream of termination blocks transmitted to the FIG. 1 detector via an ISI channel;

FIG. 3 indicates steps performed by a branch metric unit of the FIG. 1 detector;

FIG. 4 indicates steps performed by a path metric unit of the FIG. 1 detector;

FIG. 5 shows trellis diagrams for a reduced-state trellis indicating both unresolved and resolved parallel transitions;

FIG. 6 shows trellis diagrams for use in calculating a branch metric in a branch metric unit of a first embodiment;

FIG. 7a is a schematic block diagram of components of a branch metric unit according to one or more embodiments;

FIG. 7b is a schematic block diagram of components of a branch metric unit according to one or more embodiments;

FIG. 7c is a schematic block diagram of components of a branch metric unit according to one or more embodiments;

FIG. 7d is a schematic block diagram of components of a branch metric unit according to one or more embodiments;

FIG. 8 is a schematic block diagram of a path metric unit according to one or more embodiments;

FIG. 9 is a schematic block diagram of a survivor memory unit according to one or more embodiments;

FIG. 10 is a schematic block diagram of a component of another branch metric unit according to one or more embodiments;

FIG. 11 shows trellis diagrams for use in calculating a branch metric in the branch metric unit of FIG. 10;

FIG. 12 is a schematic block diagram of a path metric unit according to one or more embodiments; and

FIG. 13 is a schematic block diagram of a survivor memory unit according to one or more embodiments.

DETAILED DESCRIPTION

The present invention may be a system, a method, and/or a computer program product. The computer program product may include a computer readable storage medium (or media) having computer readable program instructions thereon for causing a processor to carry out aspects of the present invention.

The computer readable storage medium can be a tangible device that can retain and store instructions for use by an instruction execution device. The computer readable storage medium may be, for example, but is not limited to, an electronic storage device, a magnetic storage device, an optical storage device, an electromagnetic storage device, a semiconductor storage device, or any suitable combination of the foregoing. A non-exhaustive list of more specific examples of the computer readable storage medium includes the following: a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), a static random access memory (SRAM), a portable compact disc read-only memory (CD-ROM), a digital versatile disk (DVD), a memory stick, a floppy disk, a mechanically encoded device such as punch-cards or raised structures in a groove having instructions recorded thereon, and any suitable combination of the foregoing. A computer readable storage medium, as used herein, is not to be construed as being transitory signals per se, such as radio waves or other freely propagating electromagnetic waves, electromagnetic waves propagating through a waveguide or other transmission media (e.g., light pulses passing through a fiber-optic cable), or electrical signals transmitted through a wire.

Computer readable program instructions described herein can be downloaded to respective computing/processing devices from a computer readable storage medium or to an external computer or external storage device via a network, for example, the Internet, a local area network, a wide area network and/or a wireless network. The network may comprise copper transmission cables, optical transmission fibers, wireless transmission, routers, firewalls, switches, gateway computers and/or edge servers. A network adapter card or network interface in each computing/processing device receives computer readable program instructions from the network and forwards the computer readable program instructions for storage in a computer readable storage medium within the respective computing/processing device.

Computer readable program instructions for carrying out operations of the present invention may be assembler instructions, instruction-set-architecture (ISA) instructions, machine instructions, machine dependent instructions, microcode, firmware instructions, state-setting data, or either source code or object code written in any combination of one or more programming languages, including an object oriented programming language such as Smalltalk, C++or the like, and conventional procedural programming languages, such as the “C” programming language or similar programming languages. The computer readable program instructions may execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server. In the latter scenario, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or the connection may be made to an external computer (for example, through the Internet using an Internet Service Provider). In some embodiments, electronic circuitry including, for example, programmable logic circuitry, field-programmable gate arrays (FPGA), or programmable logic arrays (PLA) may execute the computer readable program instructions by utilizing state information of the computer readable program instructions to personalize the electronic circuitry, in order to perform aspects of the present invention.

Aspects of the present invention are described herein with reference to flowchart illustrations and/or block diagrams of methods, apparatus (systems), and computer program products according to embodiments of the invention. It will be understood that each block of the flowchart illustrations and/or block diagrams, and combinations of blocks in the flowchart illustrations and/or block diagrams, can be implemented by computer readable program instructions.

These computer readable program instructions may be provided to a processor of a general purpose computer, special purpose computer, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions/acts specified in the flowchart and/or block diagram block or blocks. These computer readable program instructions may also be stored in a computer readable storage medium that can direct a computer, a programmable data processing apparatus, and/or other devices to function in a particular manner, such that the computer readable storage medium having instructions stored therein comprises an article of manufacture including instructions which implement aspects of the function/act specified in the flowchart and/or block diagram block or blocks.

The computer readable program instructions may also be loaded onto a computer, other programmable data processing apparatus, or other device to cause a series of operational steps to be performed on the computer, other programmable apparatus or other device to produce a computer implemented process, such that the instructions which execute on the computer, other programmable apparatus, or other device implement the functions/acts specified in the flowchart and/or block diagram block or blocks.

The flowchart and block diagrams in the Figures illustrate the architecture, functionality, and operation of possible implementations of systems, methods, and computer program products according to various embodiments of the present invention. In this regard, each block in the flowchart or block diagrams may represent a module, segment, or portion of instructions, which comprises one or more executable instructions for implementing the specified logical function(s). In some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems that perform the specified functions or acts or carry out combinations of special purpose hardware and computer instructions.

FIG. 1 indicates structure of an exemplary sequence detector 1 embodying the invention. The sequence detector 1 comprises a branch metric unit (BMU) 2, a path metric unit (PMU) 3, and a survivor memory unit (SMU) 4. The units 2, 3, 4 of detector 1 comprise a series of pipeline stages. In particular, the BMU 2 comprises an initial set of pipeline stages, and the PMU 3 comprises a subsequent set of pipeline stages, where each set may in general comprise one or more stages. The BMU 2 receives a sequence of input samples obtained from an ISI channel. The input samples are obtained in known manner by sampling the channel output corresponding to a symbol sequence input to the channel. The input sample sequence is input, sample by sample, to the BMU. When all input samples corresponding to the symbol sequence to be detected have been processed by the detector, the SMU 4 outputs a sequence of symbols with symbol values that have been detected as the most probable values corresponding to the input symbol sequence.

In this example, the sequence of input samples received by detector 1 corresponds to a “termination block” as defined by the IEEE P802.3bj standard. This standard defines a termination block as a block of symbols which starts with, and is followed by, a known “termination symbol” as depicted schematically in FIG. 2. The standard specifies transmitting termination symbols that enable simplified detector architectures because the termination symbol is known to the receiver. As described further below, a plurality of sequence detectors may operate in parallel to process successive termination blocks in the input stream. However, each sequence detector 1 operates to detect the symbol values corresponding to the sequence of samples for a given termination block.

An ISI channel has a discrete-time impulse response with L+1 channel coefficients where L>0. In particular, the channel is modelled by its discrete-time impulse-response sequence h=(h₀, h₁, . . . , h_(L)) where L is the number of interfering channel coefficients (channel memory). For a symbol u_(k) input to the channel at time k, the corresponding channel output y_(k) can be expressed as y_(k)=Σ_(i=0) ^(L)h_(i) u_(k−i) and is thus a function of u_(k) and the L previous symbols u_(k−1) to u_(k−L). This output is corrupted by additive white Gaussian noise (AWGN) w_(k), whereby the resulting input sample at sequence detector 1 is given by z_(k)=y_(k)+w_(k).

The BMU 2 receives each input sample z_(k) and also receives the channel coefficient vector h=(h₀, h₁, . . . , h_(L)) described above. For each input sample z_(k), the BMU 2 calculates branch metrics λ_(k) for respective possible transitions between states of a trellis. In particular, the coefficient vector h is used to produce hypothesized input values in a hypothesized value generator (HVG) of the BMU as explained below. The BMU 2 compares each input sample z_(k) with the hypothesized input values and, using the outcomes of such comparisons, calculates the branch metrics (denoted by λ_(k) in FIG. 1) and unresolved subset decisions (denoted by

_(k) ^(I) in FIG. 1) associated with these. The branch metrics are used in PMU 3 to make decisions (state decisions χ_(k−1) in FIG. 1) on states in respective survivor paths through the trellis. These survivor paths represent possible symbol sequences corresponding to the input samples processed thus far. The state decisions χ_(k−1) and corresponding branch metrics λ_(k) are used to update path metrics for these survivor paths. The PMU 3 makes tentative symbol decisions (û_(k−1) in FIG. 1) corresponding to the states for each survivor path. The state decisions χ_(k−1) and tentative symbol decisions û_(k−1) are supplied to the SMU 4 which stores the symbol decisions for the survivor paths. The survivor paths are thus updated in each time step. At the end of the input sequence, a reset/end of termination block signal “reset_(k)” is transmitted by a synchronizer to the PMU 3 to reset the path metrics at the end of the termination block. This reset signal is also supplied to the SMU 4 which selects, based on the known state χ_(k,term) corresponding to the termination symbol, the survivor sequence from the survivor paths, and outputs the symbol sequence thus detected.

Note that, as indicated in FIG. 1, the state decisions χ_(k−1) (and resolved subset decisions

_(k−1) ^(I)) are fed back by the PMU 3 to the BMU 2. The BMU calculates the branch metrics in the initial set of pipeline stages, and the PMU makes state decisions, and calculates the path metrics, in a subsequent set of pipeline stages. Thus, while the BMU calculates branch metrics for a given input sample, the PMU makes state decisions for a previous input sample. In the embodiments detailed below, the PMU makes state decisions, and calculates the path metrics, in the next pipeline stage after the BMU. Hence, the branch metrics λ_(k) for a given input sample z_(k) are generated in the BMU in the same time step k as that in which the PMU makes state decisions χ_(k−1) for the preceding sample z⁻¹. FIGS. 3 and 4 indicate steps performed by the BMU 2 and PMU 3 respectively in the pipelined operation of detector 1. (Note that steps of these figures do not correspond to time steps k of the pipelined operation. As indicated above, the BMU operation of FIG. 3 is performed over one or more time steps k. The PMU operation of FIG. 4 is performed in a single time step in the embodiments below.)

Considering first the BMU operation in FIG. 3, an input sample z_(k) is received by the BMU in step 30. In step 31, the BMU selects hypothesized input values, denoted by z_(k) ^(h), from values provided by the HVG as detailed below. Each hypothesized input value z_(k) ^(h) is dependent on a possible symbol value for the input sample z_(k) and L previous symbol values corresponding to possible transitions between states of the trellis. In step 32, the BMU calculates differences d_(k) between the input sample z_(k) and each hypothesized input value z_(k) ^(h). (Various difference measures may be used here as discussed further below). In step 33, the BMU compares these differences d_(k) and selects, as the branch metric λ_(k) for each possible transition, an optimum difference in dependence on a predetermined state in a survivor path through the trellis. This predetermined state is the state χ_(k−1) as determined by the PMU for the previous input sample z⁻¹. In step 34, the branch metrics λ_(k) are output to the PMU, together with unresolved subset decisions

_(k) ^(I) associated with the branch metrics. Due to the pipelining, the PMU will process the branch metrics λ_(k) in the next time step of the pipelined operation. Hence, in the time step in which the branch metrics λ_(k) are output by the BMU, the PMU receives the branch metrics λ_(k−1), and unresolved subset decisions

_(k−1) ^(I), for the preceding input sample z_(k−1) as indicated at step 40 of FIG. 4. The branch metrics λ_(k−1) are used by the PMU to calculate path metrics (denoted by Γ_(k)) for respective survivor paths through the trellis. In particular, in step 41 the PMU selects the state χ_(k−1) in each survivor path in dependence on the branch metrics λ_(k−1). As explained in more detail below, this step involves an addition operation using the path metrics Γ_(k−1) calculated thus far. The selected state χ_(k−1) for each survivor path is fed back to the BMU in step 42, and thus provides the predetermined state used by the BMU in step 33 of FIG. 3. In step 43, the PMU updates the previous path metric Γ_(k−1) to Γ_(k) for each survivor path using the branch metric λ_(k−1) corresponding to the predetermined state χ⁻¹. In step 44, the PMU selects a latest symbol value (tentative symbol decision û_(k−1)) in each survivor path from the unresolved subset decisions

_(k−1) ^(I) based on the predetermined state χ⁻¹. In step 45, the tentative symbol decision û_(k−1) and state decision χ_(k−1) for each survivor path are output to the SMU 4.

It will be seen from the above that the sequence detector 1 performs branch metric calculations and the corresponding path metric calculations in different clock periods corresponding to different pipeline stages, and the predetermined state χk−1 is fed back by the PMU for use in selecting the branch metrics λ_(k) (step 33) in the BMU earlier in the pipeline. In this way, the step of calculating the distance between the hypothesized input values and the input sample in the BMU, which involves at least one addition, is separated from calculating the path metrics in the PMU, in particular from the addition operation needed for updating the path metrics. The number of addition operations on the longest path of the detector is therefore reduced to one. This offers a significant increase in data rates achievable with the sequence detector.

Embodiments of detector 1 illustrating the foregoing point will be described in more detail below. The various components of the implementations below can be implemented by hard-wired logic circuits of generally known form. In general, however, the detector functionality can be implemented in hardware or software or a combination thereof.

In a first embodiment of sequence detector 1, the detector is a reduced-state sequence detector (RSSD) whereby the BMU 2 is adapted to calculate the branch metrics λ_(k) for transitions between states (referred to below as “substates”) of a reduced-state trellis. The reduced-state trellis is constructed via mapping by set partitioning. The reduced-state subset trellis for this embodiment is shown in FIG. 5 for both unresolved parallel transitions (left) and resolved transitions (right). The symbols u_(k) transmitted over the channel in this embodiment are four-level pulse-amplitude modulation (4-PAM) symbols selected from a signal constellation

={−3, −1, +1, +3} in accordance with the IEEE P802.3bj standard. These symbols are allocated to subsets

∈{{−3, +1}, {−1, +3}}. The reduced-state trellis has two substates χ=0 and χ=1. The subset to which the symbol u_(k) belongs determines the substate χ_(k+1) at time k+1 according to: χ_(k+1)=0 if u_(k)∈{−3, +1} and χ_(k+1)=1 if u_(k)∈{−1, +3}. At any time k there are two survivor paths, one ending in substate χ_(k)=0 and the other ending in substate χ_(k)=1, with path metrics Γ_(k) (0) and Γ_(k)(1), respectively. The branch metrics p_(k)(χ_(k), u_(k) ^(i)) corresponding to respective parallel transitions from substate χ_(k) when u_(k) is transmitted (where u_(k) ^(i) is the index of u_(k) in

, i ∈

and 0≦i≦3) are indicated in the left-hand diagram of FIG. 5. The branch metrics λ_(k)(χ_(k), χ_(k+1)) corresponding to the resolved transitions of the reduced-state trellis are shown in the right-hand diagram.

In this embodiment, the RSSD 1 implements the Viterbi algorithm with two post-cursor per-survivor decision-feedback taps {h₁, h₂}, i.e. L=2. The Viterbi algorithm finds the most probable input sequence, given a sequence of observations of a discrete-time finite-state Markov process in memoryless noise. This rule minimizes the error probability in detecting the whole sequence and hence is optimum in that sense. The HVG in the BMU 2 constructs the hypothesized input values 4 by taking the inner product of the symbols û_(k−1), û_(k−2) in each survivor path with the post-cursor discrete-time channel impulse-response sequence {h₁, h₂} and adding h₀u_(k) to the result:

z _(k) ^(u) =u _(k) +h ₁ û _(k−1) +h ₂ û _(k−2) ∀u _(k) ∈

Where we assume, without loss of generality, that the main-cursor tap h₀=1.

The BMU 2 of the RSSD 1 comprises four component units for calculating the branch metrics λ_(k) (0, 0), λ_(k)(0,1), λ_(k)(1, 0), λ_(k)(1, 1) respectively for the four possible transitions in the resolved transition trellis diagram of FIG. 5. In addition, we assume here that eight parallel RSSDs 1 are used to process the stream of transmitted termination blocks (FIG. 2) in an implementation clocked at one-eighth of the full clock rate (as determined by the modulation interval). The termination block contains 48 symbols of 2 bits each to represent the four possible 4-PAM symbol values. The notation used in describing this embodiment is set out below.

-   : 4-PAM signal constellation     ={−3, −1, +1, +3}; -   u_(k): transmitted 4-PAM symbol at time k, u_(k) ∈     ; -   u_(k) ^(i): index of u_(k) in     , i ∈     and 0≦i≦3, u_(k)=     (u_(k) ^(i)); -   û_(k): tentative symbol decision; -   h: discrete-time channel impulse-response sequence; -   z_(k): received input symbol at time k; -   _(k): subset to which u_(k) belongs;     _(k) ∈{{−3, +1}, {−1, +3}}; -   _(k) ^(I): resolved subset decision prior to inverse mapping; index     of û_(k)in     _(k), I ∈     and 0≦I≦1; û_(k)=     _(k)(     _(k) ^(I)); -   χ_(k): subset at time k; χ_(k)=     _(k−1); χ_(k)=0 if     _(k−1) ∈{−3, +1} and χ_(k)=1 if     _(k−1) ∈{−1, +3}; -   ^(i)χ_(k): χ_(k) on the survivor sequence of χ_(k+1)=i, where i ∈     and 0≦i≦1; -   ^(i)û_(k):û_(k) corresponding to χ_(k+1)=i, where i ∈     and 0≦i≦1; ⁰û_(k) ∈{−3, +1}, and ¹û_(k) ∈{−1, +3}; -   ^(i)     _(k) ^(I):     _(k) ^(I) corresponding to χ_(k+1)=i, where i ∈     and 0≦i≦1; -   _(k) ^(I)(χ_(k), χ₊₁): unresolved subset decision prior to inverse     mapping determined by the resolved parallel transition from χ_(k) to     χ_(k+1); -   z_(k) ^(h)(û_(k−1) ^(i), u_(k) ^(i)): hypothesized input value for     the case when u_(k) is transmitted with the symbol decision history     û_(k−1) ^(i); -   d_(k)(û_(k−1), u_(k) ^(i)): Euclidean distance beween z_(k) and     z_(k) ^(h)(û_(k−1) ^(i), u_(k) ^(i)); -   p_(k)(χ_(k), u_(k) ^(i)): branch metric corresponding to one of the     parallel transitions originating from substate χ_(k) when u_(k) is     transmitted; -   λ_(k)(χ_(k), χ_(k+1)): branch metric corresponding to the transition     from substate χ_(k) to χ_(k+1); -   Γ_(k) (χ_(k), χ_(k+1)): partial path metric corresponding to the     transition from substate χ_(k) to χ_(k+1); -   Γ_(k)(χ_(k)): path metric of the substate χ_(k); -   χ_(k,term): termination substate; -   c₈: eighth-rate clock signal.

The four component BMU units of BMU 2 are shown in FIGS. 7a through 7d . The component BMUs calculate the branch metrics that are weights of trellis transitions indicating the likelihood of a certain transition in time. In this implementation, a larger branch metric means a less likely transition. As indicated in the figures, the HVG in each component BMU is implemented as a register array providing the hypothesized input values z_(k) ^(h)(û_(k−1) ^(i), u_(k) ^(i)), where û_(k−1) ^(i)={û_(k−1) ^(i), û_(k−2) ^(i), . . . ), with which the input sample z_(k) is compared. The hypothesized input values z_(k) ^(h)(û_(k−1) ^(i), û_(k) ^(i)) are what the input sample z_(k) would be for a certain permutation of transmitted input symbols {u_(k), u⁻¹, u_(k−2)} in the absence of noise.

The operation of the component BMUs can be understood by considering the operation of the component BMU for calculating λ_(k)(0, 0) in FIG. 7a . For the χ_(k)=0 to χ_(k+1)=0 transition, all possible trellis transitions for {u_(k), u⁻¹, u_(k−2)} are shown in FIG. 6. Since χ_(k)=0 and χ_(k+1)=0, û_(k−i)∈{−3, +1} and û_(k)∈{−3, +1}. For the two trellis diagrams on the left û_(k−2)∈{−3, +1}, and for the two trellis diagrams on the right û_(k−2)∈{−1, +3}. Therefore,

_(k−2) ^(I) can be used to choose the contribution of û_(k−2) to z_(k) ^(h)(û_(k−1) ^(i)u_(k) ^(i)), and

_(k−1) ^(I)(0,0) and

_(k−1) ^(I)(1,0) can be used to choose the contribution of û_(k−1) to z_(k) ^(h)(û_(k−1) ^(i), u_(k) ^(i)). Pipelining results in one clock period of latency. A first bank of multiplexers (mux) in FIG. 7a receive the outputs of the HVG register array corresponding to the possible transitions of FIG. 6 and hence the possible permutations of symbol values for u_(k), u⁻¹, u_(k−2). These multiplexers select the four appropriate values z_(k) ^(h)(û_(k−1) ^(i), u_(k) ^(i)) based on inputs

_(k−1) ^(I)(0, 0) or

_(k−1) ^(I)(1,0), and ⁰

_(k−2) ^(I) or, ¹

_(k−2) ^(I), for u_(k−1) and u_(k−2). The inputs ⁰

_(k−2) ^(I) and ¹

_(k−2) ^(I) are fed back from the PMU 3 for z_(k−1) and delayed one clock period by the c₈ registers in the top and bottom input lines in the figure. The input

_(k−1) ^(I)(0, 0) is fed back from the BMU output, delayed one clock period by the c₈ register in the center of the figure. (The input

_(k−1) ^(I)(1, 0) is fed back from the corresponding BMU output of FIG. 7c ). The four hypothesized values z_(k) ^(h)(û_(k−1) ^(i), u_(k) ^(i)) thus selected are supplied to respective difference calculators (|a−b|), each of which receives the current input sample z_(k).

The squared Euclidean distance is the optimum branch metric for an ideal AWGN channel. However, to reduce hardware complexity and based on simulation results indicating negligible loss in performance, the Euclidean distances d_(k)(û_(k−1) ^(i), u_(k) ^(i)) are used here as the difference measure to calculate the branch metrics p_(k) (χ_(k), u_(k) ^(i)):

d _(k)(û _(k−1) ^(i) , u _(k) ^(i))=|z _(k) −z _(k) ^(h)(û _(k−1) ^(i) , u _(k) ^(i))|, ∀u_(k−1) , u _(k) ∈

;

p _(k)(χ_(k) , u _(k) ^(i))=d _(k)(û _(k−1) ^(i) , u _(k) ^(i)), ∀u _(k) ∈

, ∀u _(j−1) ∈

_(k−1) and χ_(k)=

_(k−1).

Paired outputs of the difference calculators are compared by the digital comparators and the smallest of each pair is selected by the upper and lower multiplexers in the second multiplexer bank the figure. The central multiplexer in this bank selects the unresolved subset decision

_(k) ^(I)(0, 0) based on the predetermined state ⁰χ_(k−1) in the survivor path ending in χ_(k)=0 which is fed back from the PMU 3 as described above.

_(k) ^(I)(0, 0) is the unresolved subset decision prior to inverse mapping determined by a resolved parallel transition indicating which parallel transitions have survived. This unresolved subset decision

_(k) ^(I)(0, 0) is delayed one clock period by the c₈ register at the multiplexer output, and supplied to the PMU as

_(k−1) ^(I) (0,0) in the next clock period. This delayed decision

_(k−1) ^(I)(0,0) is also fed back to the initial BMU multiplexer bank as described above. The predetermined state ⁰χ_(k−1) is also used to select the final branch metric λ_(k)(0, 0) in the final multiplexer of the figure. The resulting λ_(k)(0, 0) thus represents the optimum (here smallest) difference.

The appropriate inputs for the equivalent operation of the component BMUs for λ_(k)(0,1), λ_(k)(1, 0) and λ_(k)(1,1) are shown in FIGS. 7b through 7d . After the parallel transitions are resolved, the branch metrics λ_(k)(χ_(k), χ_(k+1)) in the trellis diagram with 2 substates are thus

λ_(k)(χ_(k), χ_(k+1))=min _(u) _(k) _(∈)

_(k) p _(k)(χ_(k) , u _(k) ^(i)).

It can be seen that the BMU 2 here comprises one initial pipeline stage, resulting in one clock period of latency. The PMU 3 is adapted to calculate the path metrics corresponding to z_(k) in the next pipeline stage. The PMU 3 shown in FIG. 8 computes the path metrics Γ_(k) for the two survivor paths through the trellis by making substate decisions ⁰χ_(k−1) and ¹χ_(k−1), and makes tentative symbol decisions ⁰û_(k−1) and ¹û_(k−1) to select the latest symbol value in each survivor path. In particular, the branch metrics λ_(k)(χ_(k), χ_(k+1)) from the BMU 2 are delayed by respective c₈ registers at the PMU input, so the PMU processes the branch metrics λ⁻¹(χ_(k−1), χ_(k)) for z_(k−1) while the BMU processes z_(k). The branch metrics λ_(k−1)(χ_(k−1), χ_(k)) are supplied to respective adders (a+b) which also receive the previous path metrics Γ_(k−1)(0) or Γ_(k−1)(1), i.e. the path metrics thus far for the two survivor paths. The adders output respective partial path metrics:

Γ_(k−1)(χ_(k−1), χ_(k))=Γ_(k−1)(χ_(k−1))+λ_(k−1)(χ_(k−1), χ_(k)).

The partial path metrics are supplied in pairs to the digital comparators, and the smallest of each pair determines the substate ⁰χ_(k−1) or ¹χ_(k−1) in the corresponding survivor path:

χ_(k−1)=arg min_(χk−1)Γ_(k−1)(χ_(k−1), χ_(k)).

The selected substate ⁰χ_(k−1), ¹χ_(k−1) is used to update the corresponding path metric by selection of the smallest Γ_(k−1)(χ_(k−1), χ_(k)) of each pair in the first bank of multiplexers:

Γ_(k)(χ_(k))=min_(χk−1)Γ_(k−1)(χ_(k−1), χ_(k)).

The resulting path metrics Γ_(k)(χ_(k)) are output to the c₈ registers and fed back to the adders in the next clock period. These registers receive the reset signal reset_(k) to reset the path metrics at the end of the input sequence.

The delayed unresolved subset decisions

_(k−1) ^(I)(χ_(k−1), χ_(k)) from the BMU are applied in pairs to the second bank of multiplexers. The substate decisions ⁰χ_(k−1) and ¹χ_(k−1) for the survivor paths are used to select the resolved subset decisions in each path as:

𝜍_(k − 1)^(I) = arg  min_(χ_(k − 1, u_(k − 1) ∈ ϛ_(k − 1)))p_(k − 1)(χ_(k − 1), u_(k − 1)^(i)).

These are then mapped to tentative symbol decisions ^(i)û_(k−1) in the state mappers: û_(k−1)=

_(k−1)(

_(k−1) ^(I)). We assume Gray coding for symbol mapping here in compliance with the IEEE P802.3bj standard.

The substate decisions ^(i)χ_(k−1) and resolved subset decisions

_(k−1) ^(I) are fed back to the BMU as described above. The tentative symbol decisions ^(i)û_(k−1) and substate decisions ^(i)χ_(k−1) are output to the SMU 4 shown in FIG. 9. The SMU of this example comprises a register exchange unit for storing the latest symbol value (tentative symbol decision ⁰û_(k−1) or ⁰û_(k−1)) in each survivor path. The substate decisions ^(i)χ_(k−1) are used as the select signals for the multiplexers in this unit in order to update the survivor paths in each clock period. The reset signal reset_(k) supplied to this unit indicates when the last symbol of the termination block has been processed. The termination substate χ_(k,term) determines which of the two survivor paths succeeds as the survivor sequence according to the known substate of the termination symbol. In this embodiment, the bank of multiplexers at the bottom of FIG. 9 serve to output the symbol values in the selected survivor path in units of 16 bits to match data rates for possible subsequent processing units. However, this multiplexer bank could be omitted to output the bit pairs (0:1) to (94:95) defining symbols of the survivor sequence in a single clock cycle if desired.

It will be seen from the above operation that the pipeline register stage at the input to the PMU makes the branch metrics λ_(k−1)(χ_(k−1), χ_(k)) available at the active edge of the clock signal, and the resulting substate decisions ^(i)χ_(k−1) are fed back to the BMU for selection of the path metrics λ_(k) (χ_(k), χ_(k+1)) in the final multiplexer stage of the BMU. The substate decisions ^(i)χ_(k−1) do not propagate through the difference calculators in the BMU. Hence, the step of Euclidean distance calculation in the BMU is separated from the addition operation in the adders of the PMU, the most time-consuming operation therein. These operations do not therefore contribute collectively to the longest path of the Viterbi detector, e.g. in terms of the propagation delay of the logic in a VLSI (very-large scale integration) realization. The number of addition operations on the longest path is reduced to one, significantly shortening this path. This technique breaks the bottleneck in metric calculations of sequence detectors, resulting in a significant increase in data rates achievable with a single sequence detector.

The size of the HVG register array holding the hypothesized input values is multiplied by the cardinality of the signal constellation, which is four for 4-PAM, for each per-survivor decision-feedback tap embedded in the design. This makes it prohibitive to use such register arrays for a large number of per-survivor decision-feedback taps.

A second embodiment of sequence detector 1 will now be described with reference to FIGS. 10 through 13. This embodiment provides an RSSD implementing the Viterbi algorithm with two substates χ=0, χ=1 as before, but for an arbitrary number of embedded per-survivor decision-feedback taps. For the sake of simplicity, three post-cursor per-survivor decision-feedback taps are shown. However, the structure and operation described can be readily extended to an arbitrary number of embedded per-survivor decision-feedback taps as will be apparent to those skilled in the art.

The BMU 2 of the RSSD 1 comprises four component units for calculating the branch metrics λ_(k)(0, 0), λ_(k)(0,1), λ_(k)(1, 0), λ_(k)(1,1) respectively. Operation of these component BMUs can be understood from a consideration of the component BMU for calculating λ_(k)(0, 0) shown in FIG. 10. This BMU comprises a plurality of initial pipeline stages. The hypothesized input values

z _(k) ^(h)(û _(k−1) ^(i) , u _(k) ^(i))=u _(k) +h ₁ û _(k−1) +h ₂ û _(k−2) +h ₃ û _(k−3) ∀u _(k)∈

are computed and selected from precomputed values, depending on previous symbol decisions, in the BMU over a number of these initial pipeline stages. These initial pipeline stages for computing the hypothesized input values are labeled “HVG” for convenience in the figure. For the χ_(k)=0 to χ_(k+1)=0 transition, all possible trellis transitions for calculating λ_(k)(0, 0) are shown in FIG. 11. Since χ_(k)=0 and χ_(k+1)=0, û_(k−1) ∈{−3, +1} and û_(k) ∈{−3, +1}. For the four trellis diagrams on the left û_(k−3) ∈{−3, +1}, and for the four trellis diagrams on the right û_(k−3) ∈{−1, +3}. Therefore,

_(k−4) ^(I) can be used to choose the contribution of û_(k−3) to z_(k) ^(h)(û_(k−1) ^(i), u_(k) ^(i)) and

_(k−3) ^(I)(χ_(k−3), χ_(k−2)) can be used to choose the contribution of û_(k−2) and û_(k−1) to z_(k) ^(h)(û_(k−1) ^(i), u_(k) ^(i)). As a result of the input and selection stages of the HVG here, the eight difference calculators in the figure give the distance between the input sample z_(k) and respective ones of the eight hypothesized input values corresponding to the eight possible trellis transition sequences of FIG. 11. These are then compared in the digital comparators, and the smallest selected by the ensuing multiplexers. After the initial pipeline stages, the branch metric λ_(k−3)(0, 0) is selected as the optimum (here smallest) difference consistent with the predetermined substate decision ⁰χ_(k−4) for the preceding input sample, as fed back by the PMU. This is output, together with the corresponding unresolved subset decision

_(k−3) ^(I)(0, 0), the latter being delayed by one clock period as before. The pipelining results in a number of clock periods of latency equal to the number of embedded post-cursor per-survivor decision-feedback taps (here three as an example) plus the number of symbols included in the state decision (here one as an example).

The corresponding inputs for the equivalent structures of the component BMUs for λ_(k)(0,1), λ_(k)(1, 0) and λ_(k)(1,1) will be apparent to those skilled in the art. Note that the circuity labelled A in FIG. 10 is identical, with the same inputs, for all component BMUs and therefore does not need to be replicated in a VLSI implementation. The circuitry labelled B has the same inputs for pairs of component BMUs, so this section B can be shared between the BMUs for λ_(k)(0, 0) and λ_(k)(0,1), and the BMUs for λ_(k)(1, 0) and λ_(k)(1,1). The PMU 3 is reproduced in FIG. 12 with the appropriate time-steps for the BMU operation here. The SMU 4 is reproduced in FIG. 13, again with the appropriate time-steps for this embodiment.

As with the first embodiment, it can be seen that the number of addition operations in the longest path of the detector is reduced to one. The embodiments described therefore substantially shorten the longest path in a Viterbi detector with an arbitrary number of embedded per-survivor decision-feedback taps. This breaks the bottleneck in metric calculations of Viterbi detectors operating over a channel with an arbitrarily long channel memory.

Various changes and modifications can of course be made to the exemplary embodiments described. For example, other difference measures, e.g. the squared Euclidean distance, could be used in the difference calculation step of the BMU. While the embodiments above implement RSSDs, the principles described can be applied to sequence detectors using a full-state trellis. In general, such a trellis may have any number of states as appropriate for the symbol constellation. Embodiments can also implement sequence detectors other than Viterbi detectors. For example, the principles described can be readily applied to trellis-coded-modulation decoders.

While the use of termination symbols simplifies detector architectures, termination symbols are not required for operation of detectors embodying the invention. The survivor paths from all possible starting states merge with high probability a number of iterations β back in the trellis. The parameter β is the well-known survivor path length. Similarly, when starting with unknown initial path metrics, which are typically set to zero, the path metrics after α trellis iterations are, with high probability, independent of the initial metrics; that is, the survivor paths will most likely merge with the true survivor sequence had the initial metrics been known. Modifications to account for the survivor path length at the end of an input sequence, in the absence of termination symbols, will be apparent to those skilled in the art.

The register exchange method, instead of the traceback method, is chosen as the memory organization technique for the storage of survivor paths in the SMU 5 above. This is because the traceback method needs more clock periods to traceback through the trellis, thus introducing latency. However, the SMU could be implemented by a traceback unit in modified embodiments if desired.

Steps of flow diagrams may be performed in a different order to that shown, and some steps may be performed concurrently, as appropriate.

The descriptions of the various embodiments of the present invention have been presented for purposes of illustration, but are not intended to be exhaustive or limited to the embodiments disclosed. Many modifications and variations will be apparent to those of ordinary skill in the art without departing from the scope and spirit of the described embodiments. The terminology used herein was chosen to best explain the principles of the embodiments, the practical application or technical improvement over technologies found in the marketplace, or to enable others of ordinary skill in the art to understand the embodiments disclosed herein.

The present invention may be a system, a method, and/or a computer program product. The computer program product may include a computer readable storage medium (or media) having computer readable program instructions thereon for causing a processor to carry out aspects of the present invention.

The computer readable storage medium can be a tangible device that can retain and store instructions for use by an instruction execution device. The computer readable storage medium may be, for example, but is not limited to, an electronic storage device, a magnetic storage device, an optical storage device, an electromagnetic storage device, a semiconductor storage device, or any suitable combination of the foregoing. A non-exhaustive list of more specific examples of the computer readable storage medium includes the following: a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), a static random access memory (SRAM), a portable compact disc read-only memory (CD-ROM), a digital versatile disk (DVD), a memory stick, a floppy disk, a mechanically encoded device such as punch-cards or raised structures in a groove having instructions recorded thereon, and any suitable combination of the foregoing. A computer readable storage medium, as used herein, is not to be construed as being transitory signals per se, such as radio waves or other freely propagating electromagnetic waves, electromagnetic waves propagating through a waveguide or other transmission media (e.g., light pulses passing through a fiber-optic cable), or electrical signals transmitted through a wire.

Computer readable program instructions described herein can be downloaded to respective computing/processing devices from a computer readable storage medium or to an external computer or external storage device via a network, for example, the Internet, a local area network, a wide area network and/or a wireless network. The network may comprise copper transmission cables, optical transmission fibers, wireless transmission, routers, firewalls, switches, gateway computers and/or edge servers. A network adapter card or network interface in each computing/processing device receives computer readable program instructions from the network and forwards the computer readable program instructions for storage in a computer readable storage medium within the respective computing/processing device.

Computer readable program instructions for carrying out operations of the present invention may be assembler instructions, instruction-set-architecture (ISA) instructions, machine instructions, machine dependent instructions, microcode, firmware instructions, state-setting data, or either source code or object code written in any combination of one or more programming languages, including an object oriented programming language such as Smalltalk, C++or the like, and conventional procedural programming languages, such as the “C” programming language or similar programming languages. The computer readable program instructions execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server. In the latter scenario, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or the connection may be made to an external computer (for example, through the Internet using an Internet Service Provider). In some embodiments, electronic circuitry including, for example, programmable logic circuitry, field-programmable gate arrays (FPGA), or programmable logic arrays (PLA) may execute the computer readable program instructions by utilizing state information of the computer readable program instructions to personalize the electronic circuitry, in order to perform aspects of the present invention.

Aspects of the present invention are described herein with reference to flowchart illustrations and/or block diagrams of methods, apparatus (systems), and computer program products according to embodiments of the invention. It will be understood that each block of the flowchart illustrations and/or block diagrams, and combinations of blocks in the flowchart illustrations and/or block diagrams, can be implemented by computer readable program instructions.

These computer readable program instructions may be provided to a processor of a general purpose computer, special purpose computer, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions/acts specified in the flowchart and/or block diagram block or blocks. These computer readable program instructions may also be stored in a computer readable storage medium that can direct a computer, a programmable data processing apparatus, and/or other devices to function in a particular manner, such that the computer readable storage medium having instructions stored therein comprises an article of manufacture including instructions which implement aspects of the function/act specified in the flowchart and/or block diagram block or blocks.

The computer readable program instructions may also be loaded onto a computer, other programmable data processing apparatus, or other device to cause a series of operational steps to be performed on the computer, other programmable apparatus or other device to produce a computer implemented process, such that the instructions which execute on the computer, other programmable apparatus, or other device implement the functions/acts specified in the flowchart and/or block diagram block or blocks.

The flowchart and block diagrams in the Figures illustrate the architecture, functionality, and operation of possible implementations of systems, methods, and computer program products according to various embodiments of the present invention. In this regard, each block in the flowchart or block diagrams may represent a module, segment, or portion of instructions, which comprises one or more executable instructions for implementing the specified logical function(s). In some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems that perform the specified functions or acts or carry out combinations of special purpose hardware and computer instructions.

The following definitions and abbreviations are to be used for the interpretation of the claims and the specification. As used herein, the terms “comprises,” “comprising,” “includes,” “including,” “has,” “having,” “contains” or “containing,” or any other variation thereof, are intended to cover a non-exclusive inclusion. For example, a composition, a mixture, process, method, article, or apparatus that comprises a list of elements is not necessarily limited to only those elements but can include other elements not expressly listed or inherent to such composition, mixture, process, method, article, or apparatus.

As used herein, the articles “a” and “an” preceding an element or component are intended to be nonrestrictive regarding the number of instances (i.e., occurrences) of the element or component. Therefore, “a” or “an” should be read to include one or at least one, and the singular word form of the element or component also includes the plural unless the number is obviously meant to be singular.

As used herein, the terms “invention” or “present invention” are non-limiting terms and not intended to refer to any single aspect of the particular invention but encompass all possible aspects as described in the specification and the claims.

As used herein, the term “about” modifying the quantity of an ingredient, component, or reactant of the invention employed refers to variation in the numerical quantity that can occur, for example, through typical measuring and liquid handling procedures used for making concentrates or solutions. Furthermore, variation can occur from inadvertent error in measuring procedures, differences in the manufacture, source, or purity of the ingredients employed to make the compositions or carry out the methods, and the like. In one aspect, the term “about” means within 10% of the reported numerical value. In another aspect, the term “about” means within 5% of the reported numerical value. Yet, in another aspect, the term “about” means within 10, 9, 8, 7, 6, 5, 4, 3, 2, or 1% of the reported numerical value. 

What is claimed is:
 1. A sequence detector for detecting symbol values corresponding to a sequence of input samples received from an ISI channel, the sequence detector comprising: a branch metric unit, comprising an initial set of pipeline stages, adapted to calculate, for each input sample, branch metrics for respective possible transitions between states of a trellis by selecting hypothesized input values, each dependent on a possible symbol value for the input sample and L>0 previous symbol values corresponding to possible transitions between states of the trellis, calculating differences between the input sample and each hypothesized input value, and comparing said differences and selecting, as the branch metric for each possible transition, an optimum difference in dependence on a predetermined state in a survivor path through the trellis; and a path metric unit, comprising a subsequent set of pipeline stages arranged to receive the branch metrics from the branch metric unit, adapted to calculate path metrics for respective survivor paths through the trellis by selecting said predetermined state in each survivor path in dependence on the branch metrics, and to feedback said predetermined state to the branch metric unit.
 2. A sequence detector as claimed in claim 1 wherein the branch metric unit is adapted to calculate said branch metrics for respective possible transitions between states of a reduced-state trellis.
 3. A sequence detector as claimed in claim 1 wherein the path metric unit is adapted to calculate said path metrics by, on selection of said predetermined state in each survivor path, updating a previous path metric for that survivor path in dependence on the branch metric corresponding to that predetermined state, and to select, in dependence on that predetermined state in each survivor path, a latest symbol value in that survivor path.
 4. A sequence detector as claimed in claim 3 including a survivor memory unit arranged to receive said latest symbol value in each survivor path from the path metric unit and to select, at the end of said sequence, a survivor path corresponding to said sequence.
 5. A sequence detector as claimed in claim 4 wherein L=2, the branch metric unit comprises one initial pipeline stage, and the path metric unit is adapted to calculate said path metrics in the next pipeline stage.
 6. A sequence detector as claimed in claim 5 wherein the branch metric unit is adapted to select said hypothesized input values from outputs of a register array.
 7. A sequence detector as claimed in claim 4 wherein L≧3, the branch metric unit comprises a plurality of initial pipeline stages, and the path metric unit is adapted to calculate said path metrics in the next pipeline stage.
 8. A sequence detector as claimed in claim 7 wherein the branch metric unit is adapted to calculate and select said hypothesized input values in said initial pipeline stages.
 9. A Viterbi detector comprising a sequence detector as claimed in claim
 4. 10. A trellis-coded-modulation decoder comprising a sequence detector as claimed in claim
 4. 11. A sequence detector as claimed in claim 4 wherein the survivor memory unit comprises a register exchange unit for storing said latest symbol value in each survivor path and, at the end of said sequence, outputting the symbol values in the selected survivor path.
 12. A sequence detector as claimed in claim 4 wherein the survivor memory unit comprises a traceback unit for determining, at the end of said sequence, the symbol values in the selected survivor path via traceback.
 13. A method for detecting symbol values corresponding to a sequence of input samples received from an ISI channel, the method comprising: a branch metric calculation step for calculating for each input sample, in an initial set of pipeline stages, branch metrics for respective possible transitions between states of a trellis by selecting hypothesized input values, each dependent on a possible symbol value for the input sample and L>0 previous symbol values corresponding to possible transitions between states of the trellis, calculating differences between the input sample and each hypothesized input value, and comparing said differences and selecting, as the branch metric for each possible transition, an optimum difference in dependence on a predetermined state in a survivor path through the trellis; and a path metric calculation step for calculating, in a subsequent set of pipeline stages using the branch metrics from the branch metric calculation step, path metrics for respective survivor paths through the trellis by selecting said predetermined state in each survivor path in dependence on the branch metrics, said predetermined state being fed back to the branch metric calculation step.
 14. A method as claimed in claim 13 wherein the branch metric calculation step calculates said branch metrics for respective possible transitions between states of a reduced-state trellis.
 15. A method as claimed in claim 13 wherein the path metric calculation step: calculates said path metrics by, on selection of said predetermined state in each survivor path, updating a previous path metric for that survivor path in dependence on the branch metric corresponding to that predetermined state; and selects, in dependence on that predetermined state in each survivor path, a latest symbol value in that survivor path.
 16. A method as claimed in claim 15 including a survivor path update step for updating each survivor path in dependence on said latest symbol value selected in the path metric calculation step, and, at the end of said sequence, selecting a survivor path corresponding to said sequence.
 17. A computer program product for detecting symbol values corresponding to a sequence of input samples received from an ISI channel, said computer program product comprising a non-transitory computer readable storage medium having program instructions embodied therein, the program instructions being executable by a processing device to cause the processing device to perform: a branch metric calculation step for calculating for each input sample, in an initial set of pipeline stages, branch metrics for respective possible transitions between states of a trellis by selecting hypothesized input values, each dependent on a possible symbol value for the input sample and L>0 previous symbol values corresponding to possible transitions between states of the trellis, calculating differences between the input sample and each hypothesized input value, and comparing said differences and selecting, as the branch metric for each possible transition, an optimum difference in dependence on a predetermined state in a survivor path through the trellis; and a path metric calculation step for calculating, in a subsequent set of pipeline stages using the branch metrics from the branch metric calculation step, path metrics for respective survivor paths through the trellis by selecting said predetermined state in each survivor path in dependence on the branch metrics, said predetermined state being fed back to the branch metric calculation step.
 18. A computer program product as claimed in claim 17 wherein said program instructions are executable to cause the processing device to calculate said branch metrics for respective possible transitions between states of a reduced-state trellis.
 19. A computer program product as claimed in claim 17 wherein said program instructions are executable to cause the processing device to: calculate said path metrics by, on selection of said predetermined state in each survivor path, updating a previous path metric for that survivor path in dependence on the branch metric corresponding to that predetermined state; and select, in dependence on that predetermined state in each survivor path, a latest symbol value in that survivor path.
 20. A computer program product as claimed in claim 19 wherein said program instructions are executable to cause the processing device to perform a survivor path update step for updating each survivor path in dependence on said latest symbol value selected in the path metric calculation step, and, at the end of said sequence, selecting a survivor path corresponding to said sequence. 